X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🐫OCaml
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·51m·
Discuss: Hacker News
🐫OCaml
Lisp in 99 Lines of C With TinyLisp
hackaday.com·11h
⚙️PL Implementation
Hallucination in LLM-Based Code Generation: An Automotive Case Study
arxiv.org·2d
🔍Formal Verification
Subinterpreters and Asyncio
blog.changs.co.uk·3h·
Discuss: Hacker News
🐫OCaml
Building a Regex Engine
abstractsyntaxseed.com·52m·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·5d·
Discuss: Lobsters, Hacker News
🐫OCaml
SPL Lightweight Multisource Mixed Computation Practices
github.com·5h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Introducing Rusted Firmware-A (RF-A) - A Rust-Based reimagination of Trusted Firmware-A
trustedfirmware.org·1d·
Discuss: r/rust
❄️Nixified Development
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·22h·
Discuss: Hacker News
🔤DSLs
Show HN: I built a toy TPU that can do inference and training on the XOR problem
tinytpu.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Constructor Best Practices in Rust
blog.cuongle.dev·21h·
Discuss: Hacker News
🐫OCaml
Fuzzing Hardware Like Software (2021)
arxiv.org·16h·
Discuss: Hacker News
🔬Unikernels
A Magnetized Needle and a Steady Hand (2016)
nullprogram.com·2h·
Discuss: Hacker News
⚙️PL Implementation
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·9h
🐫OCaml
Show HN: OnPair – String compression with fast random access (Rust, C++)
github.com·21h·
Discuss: Hacker News
🛡️seL4
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·1d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Emacs is violent passion
mihaiolteanu.me·1h·
Discuss: Hacker News
❄️Nix
The Release of LibreLane
fossi-foundation.org·1d·
Discuss: Hacker News
📦Unikernel Systems